BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2014/newsitem/5626/20-
 March-2014-Algebra|Coalgebra-Seminar-Nick-Bezhanis
 hvili
DTSTAMP:20140313T000000
SUMMARY:Algebra|Coalgebra Seminar, Nick Bezhanishv
 ili
ATTENDEE;ROLE=Speaker:Nick Bezhanishvili
DTSTART;TZID=Europe/Amsterdam:20140320T160000
DTEND;TZID=Europe/Amsterdam:20140320T173000
LOCATION:Room F 1.15, Science park 107
DESCRIPTION:Abstract: In this talk I will discuss 
 how to transform the method of implication-free ca
 nonical formulas for intuitionistic logic into the
  setting of modal logic.  For more information, se
 e https://www.illc.uva.nl/alg-coalg or contact Sum
 it Sourabh (S.Sourabh at uva.nl).
X-ALT-DESC;FMTTYPE=text/html:\n        <p><b>Abstr
 act</b>: In this talk I will discuss how to transf
 orm the method of implication-free canonical formu
 las for intuitionistic logic into the setting of m
 odal logic.</p>\n    \n        <p>For more informa
 tion, see <a target="_blank" href="https://www.ill
 c.uva.nl/alg-coalg">https://www.illc.uva.nl/alg-co
 alg</a> or contact Sumit Sourabh (<a class="email"
 >S.Sourabh <span class="at">at</span> uva.nl</a>).
 </p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5626/20-
 March-2014-Algebra|Coalgebra-Seminar-Nick-Bezhanis
 hvili
END:VEVENT
END:VCALENDAR